Громов М. Л. «Метод построения полного проверяющего теста для входо-выходныхполуавтоматов » // Вестник ТГУ. УВТиИ. 2008. №3 (4) C.85-98
Yevtushenko N. . , Petrenko A. . «Refining specifications in adaptive testing ofnondeterministic finite state machines » // Вестник ТГУ. УВТиИ. 2009. №1 (6) C.99-114
Акеньшина Е. А. , Шабалдина Н. В. «К ПОСТРОЕНИЮ ПРОВЕРЯЮЩИХ ТЕСТОВОТНОСИТЕЛЬНО НЕРАЗДЕЛИМОСТИДЛЯ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ » // Прикладная дискретная математика 2009. №3(5) C.106-111
Вы можете добавить статью